IMDEA Software

IMDEA initiative

news & events

Niki Vazou and co-authors of "Refinement types for Haskell" receive the test of time award at ICFP
October 2, 2024
The paper received the award because it industrialised the verification technology of refinement types and presented the tool Liquid Haskell that is actively used 10 years later both for education and software verification.

+ more

Alessio Mansutti's ICALP paper “Integer Linear-Exponential Programming in NP by Quantifier Elimination” wins the Track B Best Paper Award
September 26, 2024
The flagship research meeting on Automata, Logic, Semantics, and Theory of Programming awarded Alessio and his coauthors Dmitry Chistikov and Mikhail Starchak for a paper providing a NP procedure to decide whether a linear-exponential system of constraints has an integer solution.

+ more

Members of the MadQuantum-CM project publish in Nature their paper: "MadQCI: a heterogeneous and scalable SDN-QKD network deployed in production facilities"
September 10, 2024
César Sánchez and David Rincón from REDIMadrid are part of the authors of the article that publishes the conclusions of three years of tests.

+ more

IMDEA Software launches new approach to improve automatic software repair
July 29, 2024
The FIXCHECK tool offers a robust and effective solution in the field of software maintenance, reveals bugs and prevents the introduction of inadequate corrections in the software.

+ more

highlights

careers